krl (knowledge representation) - Spanish English Dictionary